#include <stdio.h>

int main()
{
	float val = 20.125;
	int *ptr = (int *)&val;

	printf("val: 0x%0x\n", *ptr);

	return 0;
}
